Embedding semirings in semirings with multiplicative unit
نویسندگان
چکیده
منابع مشابه
Embedding Multi-Hemirings into Semirings
Weighted languages and weighted automata over multi-hemirings are capable of expressing quantitative properties of systems such as its average or discounted costs. We study the applicability of well-known semiring theory and algorithms in the field of multi-hemirings. To this end, we embed multi-hemirings into semirings and extend this embedding for weighted languages and weighted automata. We ...
متن کاملSemirings whose additive endomorphisms are multiplicative
A ring or an idempotent semiring is associative provided that additive endomorphisms are multiplicative.
متن کاملTropical Semirings
It is a well-known fact that the boolean calculus is one of the mathematical foundations of electronic computers. This explains the important role of the boolean semiring in computer science. The aim of this paper is to present other semirings that occur in theoretical computer science. These semirings were baptized tropical semirings by Dominique Perrin in honour of the pioneering work of our ...
متن کاملThermodynamic Semirings
The Witt construction describes a functor from the category of Rings to the category of characteristic 0 rings. It is uniquely determined by a few associativity constraints which do not depend on the types of the variables considered, in other words, by integer polynomials. This universality allowed Alain Connes and Caterina Consani to devise an analogue of the Witt ring for characteristic one,...
متن کاملSome Special Classes of Semirings and Ordered Semirings
In this paper, we study the properties of Semirings satisfyingthe identity a + ab = a. It is proved that, : Let (S , +, .) be a semiring which contains multiplicative identity 1, then a + ab = a for all a, b in S if and only if (S, + ) is absorbing.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society
سال: 1968
ISSN: 0004-9735
DOI: 10.1017/s1446788700005218